Msg(${\it da}$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$Msg($\lambda$$l$,${\it tg}$. fpf{-}cap(${\it da}$;KindDeq;rcv($l$,${\it tg}$);Void))